A Convenient Category of Locally Preordered Spaces

نویسنده

  • Sanjeevi Krishnan
چکیده

As a practical foundation for a homotopy theory of abstract spacetime, we propose a convenient category S , which we show to extend a category of certain compact partially ordered spaces. In particular, we show that S ′ is Cartesian closed and that the forgetful functor S →T ′ to the category T ′ of compactly generated spaces creates all limits and colimits.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Convenient Category for Directed Homotopy

We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.

متن کامل

A CONVENIENT CATEGORY FOR DIRECTED HOMOTOPY Dedicated to Walter Tholen at the occasion of his sixtieth birthday

We propose a convenient category for directed homotopy consisting of “directed” topological spaces generated by “directed” cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.

متن کامل

Some Utility Theorems on Inductive Limits of Preordered Topological Spaces

One of the main problems in utility theory is to find conditions which imply the numerical representability of topological spaces on which a preorder, or partial order, is defined. This study has reached a wide development in the literature: see, for instance, the works of Eilenberg, Debreu, Fleischer and Jaffray on completely preordered topological spaces [9, 7, 10, 15], and the seminal book b...

متن کامل

Descent for Priestley Spaces

A characterization of descent morphism in the category of Priestley spaces, as well as necessary and sufficient conditions for such morphisms to be effective are given. For that we embed this category in suitable categories of preordered topological spaces were descent and effective morphisms are described using the monadic description of descent.

متن کامل

Q-closure spaces

For a small quantaloid Q, a Q-closure space is a small category enriched in Q equipped with a closure operator on its presheaf category. We investigate Q-closure spaces systematically with specific attention paid to their morphisms and, as preordered fuzzy sets are a special kind of quantaloid-enriched categories, in particular fuzzy closure spaces on fuzzy sets are introduced as an example. By...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Applied Categorical Structures

دوره 17  شماره 

صفحات  -

تاریخ انتشار 2009